国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁(yè)> 外文OA文獻(xiàn) >A sound and complete proof system for probabilistic processes
【2h】

A sound and complete proof system for probabilistic processes

機(jī)譯：完善的概率過(guò)程證明系統(tǒng)

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒(méi)有原文。下單后我們將采用程序或人工為您竭誠(chéng)獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來(lái)源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請(qǐng)知悉。
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

n this paper we present a process algebra model of probabilistic communicating processes based on classical CSP. To define our model we have replaced internal non-determinism by generative probabilistic choices, and external non-determinism by reactive probabilistic choices, with the purpose of maintaining the meaning of the classical CSP operators, once generalized in a probabilistic way. Thus we try to keep valid, as far as possible, the laws of CSP. This combination of both internal and external choice makes strongly difficult the definition of a probabilistic version of CSP. In fact, we can find in the current literature quite a number of papers on probabilistic processes, but only in a few of them internal and external choices are combined, trying to preserve their original meaning.\udStarting with a denotational semantics where the corresponding domain is a set of probabilistic trees with two kinds of nodes, representing the internal and external choices, we define a sound and complete proof system, with very similar laws to those of the corresponding CSP.
機(jī)譯：在本文中，我們提出了一種基于經(jīng)典CSP的概率通信過(guò)程的過(guò)程代數(shù)模型。為了定義我們的模型，我們用生成概率選擇代替了內(nèi)部非確定性，而用反應(yīng)性概率選擇代替了外部非確定性，目的是保持經(jīng)典的CSP算子的含義，一旦將其廣義化。因此，我們嘗試盡可能保持CSP的法律有效。內(nèi)部選擇和外部選擇的結(jié)合使CSP概率版本的定義非常困難。實(shí)際上，我們可以在當(dāng)前文獻(xiàn)中找到許多有關(guān)概率過(guò)程的論文，但是只有其中一些是內(nèi)部和外部選擇相結(jié)合的，試圖保留它們的原始含義。\ ud從指稱語(yǔ)義開(kāi)始，其中對(duì)應(yīng)的域是一組具有兩種節(jié)點(diǎn)的概率樹(shù)，分別代表內(nèi)部和外部選擇，我們定義了一個(gè)完善而完善的證明系統(tǒng)，其定律與相應(yīng)的CSP的定律非常相似。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號(hào) ICP備案號(hào)：京ICP備15016152號(hào)-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號(hào)